$\forall$$R$:es\_realizer\{i:l\}, $z$,$i$:Id. ($\uparrow$R{-}occurs($R$; $i$; $z$)) $\Rightarrow$ ($\uparrow$R{-}has{-}loc($R$; $i$))